A

Results: 2421584



#Item
281A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
282a slow-cooked stew of wintry dissed contents DECEMBER 2008 – Send stuff to ACTIVE AT THE CORE? I’ve been asked to write something about with metal detectors. Having big geezers memories from the

a slow-cooked stew of wintry dissed contents DECEMBER 2008 – Send stuff to ACTIVE AT THE CORE? I’ve been asked to write something about with metal detectors. Having big geezers memories from the

Add to Reading List

Source URL: www.randomartists.org

Language: English - Date: 2009-01-18 12:43:04
283Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

Add to Reading List

Source URL: shukla.io

Language: English - Date: 2017-05-18 12:57:06
284Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-08-26 19:53:27
285Pushing on a String: State-Owned Enterprises and Monetary Policy Transmission in China Hongyi Chen Hong Kong Institute for Monetary Research Ran Li

Pushing on a String: State-Owned Enterprises and Monetary Policy Transmission in China Hongyi Chen Hong Kong Institute for Monetary Research Ran Li

Add to Reading List

Source URL: www.hkimr.org

Language: English - Date: 2018-04-27 02:17:35
286A Declarative and Expressive Approach to Control Forwarding in Carrier-Grade Networks Stefano Vissicchio UCLouvain

A Declarative and Expressive Approach to Control Forwarding in Carrier-Grade Networks Stefano Vissicchio UCLouvain

Add to Reading List

Source URL: inl.info.ucl.ac.be

Language: English - Date: 2018-05-31 05:55:46
287A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2017-07-03 06:09:00
288The Diennet Institute 9454 Wilshire Blvd, M4 Beverly Hills, CAFaxwww.diennet.com Questionnaire A

The Diennet Institute 9454 Wilshire Blvd, M4 Beverly Hills, CAFaxwww.diennet.com Questionnaire A

Add to Reading List

Source URL: diennet.com

Language: English - Date: 2016-12-03 22:55:15
289Community Identity and User Engagement in a Multi-Community Landscape Justine Zhang∗ William L. Hamilton∗ Cornell University

Community Identity and User Engagement in a Multi-Community Landscape Justine Zhang∗ William L. Hamilton∗ Cornell University

Add to Reading List

Source URL: stanford.edu

Language: English - Date: 2017-05-31 04:48:33
290SHA-3 submission – Tweaked version: SIMD Is a Message Digest Principal submitter: Ga¨etan Leurent

SHA-3 submission – Tweaked version: SIMD Is a Message Digest Principal submitter: Ga¨etan Leurent

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2018-06-14 07:12:39